Dec 02 16:23:41.965 INFO testing smetamath-3.0.0 against master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61 for beta-1.31-5
Dec 02 16:23:41.965 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-3/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 16:23:42.483 INFO [stdout] e97718423e2f5b1b6048b76720d21bc5189b692ffb8b272eebdac174f771d201
Dec 02 16:23:42.489 INFO running `"docker" "start" "-a" "e97718423e2f5b1b6048b76720d21bc5189b692ffb8b272eebdac174f771d201"`
Dec 02 16:23:44.059 INFO [stderr] usermod: no changes
Dec 02 16:23:44.147 INFO [stderr]    Compiling libc v0.2.44
Dec 02 16:23:44.155 INFO [stderr]    Compiling unicode-width v0.1.5
Dec 02 16:23:44.167 INFO [stderr]    Compiling strsim v0.7.0
Dec 02 16:23:44.167 INFO [stderr]    Compiling cfg-if v0.1.6
Dec 02 16:23:44.167 INFO [stderr]    Compiling vec_map v0.8.1
Dec 02 16:23:44.167 INFO [stderr]    Compiling bitflags v1.0.4
Dec 02 16:23:44.167 INFO [stderr]    Compiling ansi_term v0.11.0
Dec 02 16:23:44.167 INFO [stderr]    Compiling fnv v1.0.6
Dec 02 16:23:45.431 INFO [stderr]    Compiling textwrap v0.10.0
Dec 02 16:23:58.077 INFO [stderr]    Compiling atty v0.2.11
Dec 02 16:23:58.077 INFO [stderr]    Compiling filetime v0.1.15
Dec 02 16:23:58.955 INFO [stderr]    Compiling clap v2.32.0
Dec 02 16:24:50.586 INFO [stderr]    Compiling smetamath v3.0.0 (/source)
Dec 02 16:24:52.607 INFO [stderr] warning: variable does not need to be mutable
Dec 02 16:24:52.607 INFO [stderr]    --> src/database.rs:247:25
Dec 02 16:24:52.608 INFO [stderr]     |
Dec 02 16:24:52.608 INFO [stderr] 247 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
Dec 02 16:24:52.608 INFO [stderr]     |                         ----^^
Dec 02 16:24:52.609 INFO [stderr]     |                         |
Dec 02 16:24:52.609 INFO [stderr]     |                         help: remove this `mut`
Dec 02 16:24:52.609 INFO [stderr]     |
Dec 02 16:24:52.609 INFO [stderr]     = note: #[warn(unused_mut)] on by default
Dec 02 16:24:52.609 INFO [stderr] 
Dec 02 16:24:52.609 INFO [stderr] warning: variable does not need to be mutable
Dec 02 16:24:52.609 INFO [stderr]    --> src/database.rs:247:25
Dec 02 16:24:52.609 INFO [stderr]     |
Dec 02 16:24:52.609 INFO [stderr] 247 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
Dec 02 16:24:52.609 INFO [stderr]     |                         ----^^
Dec 02 16:24:52.609 INFO [stderr]     |                         |
Dec 02 16:24:52.609 INFO [stderr]     |                         help: remove this `mut`
Dec 02 16:24:52.609 INFO [stderr] 
Dec 02 16:24:52.619 INFO [stderr] warning: variable does not need to be mutable
Dec 02 16:24:52.619 INFO [stderr]    --> src/database.rs:268:25
Dec 02 16:24:52.619 INFO [stderr]     |
Dec 02 16:24:52.620 INFO [stderr] 268 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
Dec 02 16:24:52.620 INFO [stderr]     |                         ----^^
Dec 02 16:24:52.620 INFO [stderr]     |                         |
Dec 02 16:24:52.621 INFO [stderr]     |                         help: remove this `mut`
Dec 02 16:24:52.621 INFO [stderr] 
Dec 02 16:24:52.621 INFO [stderr] warning: variable does not need to be mutable
Dec 02 16:24:52.621 INFO [stderr]    --> src/database.rs:291:25
Dec 02 16:24:52.622 INFO [stderr]     |
Dec 02 16:24:52.622 INFO [stderr] 291 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
Dec 02 16:24:52.622 INFO [stderr]     |                         ----^^^
Dec 02 16:24:52.622 INFO [stderr]     |                         |
Dec 02 16:24:52.623 INFO [stderr]     |                         help: remove this `mut`
Dec 02 16:24:52.623 INFO [stderr] 
Dec 02 16:25:30.088 INFO [stderr]     Finished dev [optimized + debuginfo] target(s) in 1m 46s
Dec 02 16:25:30.093 INFO [stderr] su: No module specific data is present
Dec 02 16:25:31.397 INFO running `"docker" "inspect" "e97718423e2f5b1b6048b76720d21bc5189b692ffb8b272eebdac174f771d201"`
Dec 02 16:25:31.757 INFO running `"docker" "rm" "-f" "e97718423e2f5b1b6048b76720d21bc5189b692ffb8b272eebdac174f771d201"`
Dec 02 16:25:32.127 INFO [stdout] e97718423e2f5b1b6048b76720d21bc5189b692ffb8b272eebdac174f771d201
Dec 02 16:25:32.129 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-3/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 16:25:32.683 INFO [stdout] c2ae80b2d4bc0db3824179a1c20c9cc2272edbb83059536926834fe4e7df7012
Dec 02 16:25:32.685 INFO running `"docker" "start" "-a" "c2ae80b2d4bc0db3824179a1c20c9cc2272edbb83059536926834fe4e7df7012"`
Dec 02 16:25:33.802 INFO [stderr] usermod: no changes
Dec 02 16:25:33.903 INFO [stderr]    Compiling smetamath v3.0.0 (/source)
Dec 02 16:25:35.959 INFO [stderr] warning: variable does not need to be mutable
Dec 02 16:25:35.959 INFO [stderr]    --> src/database.rs:247:25
Dec 02 16:25:35.959 INFO [stderr]     |
Dec 02 16:25:35.959 INFO [stderr] 247 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
Dec 02 16:25:35.959 INFO [stderr]     |                         ----^^
Dec 02 16:25:35.959 INFO [stderr]     |                         |
Dec 02 16:25:35.959 INFO [stderr]     |                         help: remove this `mut`
Dec 02 16:25:35.959 INFO [stderr]     |
Dec 02 16:25:35.959 INFO [stderr]     = note: #[warn(unused_mut)] on by default
Dec 02 16:25:35.959 INFO [stderr] 
Dec 02 16:25:35.959 INFO [stderr] warning: variable does not need to be mutable
Dec 02 16:25:35.959 INFO [stderr]    --> src/database.rs:247:25
Dec 02 16:25:35.959 INFO [stderr]     |
Dec 02 16:25:35.959 INFO [stderr] 247 |                     let mut ns = Arc::make_mut(self.prev_nameset.as_mut().unwrap());
Dec 02 16:25:35.959 INFO [stderr]     |                         ----^^
Dec 02 16:25:35.959 INFO [stderr]     |                         |
Dec 02 16:25:35.959 INFO [stderr]     |                         help: remove this `mut`
Dec 02 16:25:35.959 INFO [stderr] 
Dec 02 16:25:35.959 INFO [stderr] warning: variable does not need to be mutable
Dec 02 16:25:35.959 INFO [stderr]    --> src/database.rs:268:25
Dec 02 16:25:35.959 INFO [stderr]     |
Dec 02 16:25:35.959 INFO [stderr] 268 |                     let mut ns = Arc::make_mut(self.prev_scopes.as_mut().unwrap());
Dec 02 16:25:35.959 INFO [stderr]     |                         ----^^
Dec 02 16:25:35.959 INFO [stderr]     |                         |
Dec 02 16:25:35.959 INFO [stderr]     |                         help: remove this `mut`
Dec 02 16:25:35.959 INFO [stderr] 
Dec 02 16:25:35.959 INFO [stderr] warning: variable does not need to be mutable
Dec 02 16:25:35.959 INFO [stderr]    --> src/database.rs:291:25
Dec 02 16:25:35.959 INFO [stderr]     |
Dec 02 16:25:35.959 INFO [stderr] 291 |                     let mut ver = Arc::make_mut(self.prev_verify.as_mut().unwrap());
Dec 02 16:25:35.959 INFO [stderr]     |                         ----^^^
Dec 02 16:25:35.959 INFO [stderr]     |                         |
Dec 02 16:25:35.959 INFO [stderr]     |                         help: remove this `mut`
Dec 02 16:25:35.959 INFO [stderr] 
Dec 02 16:25:36.827 INFO [stderr]     Finished dev [optimized + debuginfo] target(s) in 2.99s
Dec 02 16:25:36.831 INFO [stderr] su: No module specific data is present
Dec 02 16:25:38.139 INFO running `"docker" "inspect" "c2ae80b2d4bc0db3824179a1c20c9cc2272edbb83059536926834fe4e7df7012"`
Dec 02 16:25:38.407 INFO running `"docker" "rm" "-f" "c2ae80b2d4bc0db3824179a1c20c9cc2272edbb83059536926834fe4e7df7012"`
Dec 02 16:25:38.738 INFO [stdout] c2ae80b2d4bc0db3824179a1c20c9cc2272edbb83059536926834fe4e7df7012
Dec 02 16:25:38.747 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-3/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-3/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 02 16:25:39.234 INFO [stdout] 2d145eed164e61743427150fb9049d2706cf7ffea40a7b08ae7cbe6d7fddf5b4
Dec 02 16:25:39.234 INFO running `"docker" "start" "-a" "2d145eed164e61743427150fb9049d2706cf7ffea40a7b08ae7cbe6d7fddf5b4"`
Dec 02 16:25:40.291 INFO [stderr] usermod: no changes
Dec 02 16:25:40.383 INFO [stderr]     Finished dev [optimized + debuginfo] target(s) in 0.06s
Dec 02 16:25:40.395 INFO [stderr]      Running /target/debug/deps/smetamath-dc5891e1b0a69e61
Dec 02 16:25:40.398 INFO [stdout] 
Dec 02 16:25:40.398 INFO [stdout] running 0 tests
Dec 02 16:25:40.398 INFO [stdout] 
Dec 02 16:25:40.398 INFO [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 02 16:25:40.398 INFO [stdout] 
Dec 02 16:25:40.403 INFO [stderr] su: No module specific data is present
Dec 02 16:25:40.976 INFO running `"docker" "inspect" "2d145eed164e61743427150fb9049d2706cf7ffea40a7b08ae7cbe6d7fddf5b4"`
Dec 02 16:25:41.347 INFO running `"docker" "rm" "-f" "2d145eed164e61743427150fb9049d2706cf7ffea40a7b08ae7cbe6d7fddf5b4"`
Dec 02 16:25:41.663 INFO [stdout] 2d145eed164e61743427150fb9049d2706cf7ffea40a7b08ae7cbe6d7fddf5b4
